locknd{-}deq() $\in$ EqDecider(LocKnd)